<div>
  Specify a name that uniquely identifies this log recoder among others. By
  using a log recorder, you can group related logs into one file for easier
  inspection, and by using multiple log recorders, you can create multiple such
  groups.
</div>
